Fault Tree Analysis for Safety/Security Verification in Aviation Software
نویسندگان
چکیده
منابع مشابه
Fault Tree Analysis for Safety/Security Verification in Aviation Software
The Next Generation Air Traffic Management system (NextGen) is a blueprint of the future National Airspace System. Supporting NextGen is a nation-wide Aviation Simulation Network (ASN), which allows integration of a variety of real-time simulations to facilitate development and validation of the NextGen software by simulating a wide range of operational scenarios. The ASN system is an environme...
متن کاملNuFTA: A CASE Tool for Automatic Software Fault Tree Analysis
Software fault tree analysis (SFTA) [1] is widely used for analyzing software requiring high-reliability. In SFTA, experts predict failures of system through HAZOP (Hazard and Operability study) or FMEA (Failure Mode and Effects Analysis) and draw software fault trees about the failures. Quality and cost of the software fault tree, therefore, depend on knowledge and experience of the experts. T...
متن کاملDeveloping a high-quality software tool for fault tree analysis
Sophisticated dependability analysis techniques have been developed in academia and research labs, but few have gained wide acceptance in the industry. To be valuable, such techniques must be supported by software tools that provide the high levels of usability that users now demand as well as assurances that the techniques are specified and implemented correctly. Further, it is seldom the case...
متن کاملVerification-based software-fault detection
Software is used in many safetyand security-critical systems. Software development is, however, an error-prone task where a software developer tries to precisely formalize in a programming language their imprecise ideas about a program. Formal methods help to reduce this problem. These methods add another layer to the software development allowing to formalize and to check desired properties of...
متن کاملSupporting Software Fault Tree Analysis Using a Key Node Metric
Design-time use of software fault tree analysis allows designers to focus on safety critical system aspects early in the software development process. This paper presents a technique for evaluating the impact of software fault tree 'key nodes' requiring multiple inputs to fail before the hazard propagates through the system. A heuristics-based key node metric providing a design tool with which ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronics
سال: 2013
ISSN: 2079-9292
DOI: 10.3390/electronics2010041